en principal ultrafilters (n)
― FormOf ⟶
Weight: 1.0
en principal ultrafilter Source: English Wiktionary